BRICS Basic Research in Computer Science BRICS RSJ. Groth: Extracting Witnesses from Proofs of Knowledge Extracting Witnesses from Proofs of

Source URL: www.brics.dk

• Cryptographic protocols
• Proof of knowledge
• Non-interactive zero-knowledge proof
• Interactive proof system
• IP
• Zero-knowledge proof
• NP
• Soundness
• Oracle machine
• Theoretical computer science
• Cryptography
• Computational complexity theory

BRICS Basic Research in Computer Science BRICS DS-02-4 A. Møller: Program Verification with M2L & Languages for Web Service Development

Source URL: www.brics.dk

• Formal methods
• Logic in computer science
• Notation
• Programming language
• Formal verification
• BRIC
• Michael Schwartzbach
• Logic
• Monad
• Computing
• Software engineering
• Science

NKS/DIGREL Basic Concepts Stefan Authén Risk Pilot Digital I&C, what do we mean ?

Source URL: www.nks.org

• Materials science
• Reliability engineering
• Software quality
• Survival analysis
• Systems science
• Engineering
• Failure
• Systems engineering
• Design for X

BRICS Basic Research in Computer Science BRICS RSDamg˚ard & Nielsen: Universally Composable Commitments with Constant Expansion Factor Perfect Hiding and Perfect Binding

Source URL: www.brics.dk

• Public-key cryptography
• Secure channel
• Commitment
• Universal composability
• Cryptography
• Cryptographic protocols
• Commitment scheme

BRICS RS-05-9 Frandsen & Miltersen: Reviewing Bounds on the Circuit Size of the Hardest Functions BRICS Basic Research in Computer Science

Source URL: www.brics.dk

• Circuit complexity
• Complexity classes
• Mathematical notation
• Computational complexity theory
• Stack
• Boolean circuit
• Summation
• NC
• ACC0
• Theoretical computer science
• Mathematics
• Applied mathematics

B.A. In Computer Science General Math & Science Courses 15 Core Courses in Major 39 BASIC

Source URL: www.cs.rice.edu

エネルギーから宇宙にまで関わる多様な光の知識と応用を身につけよう ～基礎教育プログラム（学際光科学）～ Basic Education Program (Interdisciplinary Photon Science) 大阪大

Source URL: www.c-phost.jp

BRICS Basic Research in Computer Science BRICS DS-97-3 T. Husfeldt: Dynamic Computation

Source URL: www.brics.dk

• Complexity classes
• Algorithm
• Mathematical logic
• Model of computation
• PP
• Dynamic problem
• P
• ACC0
• Circuit complexity
• Theoretical computer science
• Computational complexity theory
• Applied mathematics

Pharmacology–17 December Queen Elizabeth II Conference Centre London, UK CGRP and migraine: from basic science to potential for

Source URL: www.bps.ac.uk

BRICS Basic Research in Computer Science BRICS DSP. B. Oliva: Proof Mining in Subsystems of Analysis Proof Mining in Subsystems of Analysis

Source URL: www.brics.dk